Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
نویسندگان
چکیده
منابع مشابه
the innovation of a statistical model to estimate dependable rainfall (dr) and develop it for determination and classification of drought and wet years of iran
آب حاصل از بارش منبع تأمین نیازهای بی شمار جانداران به ویژه انسان است و هرگونه کاهش در کم و کیف آن مستقیماً حیات موجودات زنده را تحت تأثیر منفی قرار می دهد. نوسان سال به سال بارش از ویژگی های اساسی و بسیار مهم بارش های سالانه ایران محسوب می شود که آثار زیان بار آن در تمام عرصه های اقتصادی، اجتماعی و حتی سیاسی- امنیتی به نحوی منعکس می شود. چون میزان آب ناشی از بارش یکی از مولفه های اصلی برنامه ...
15 صفحه اولsynthesis of amido alkylnaphthols using nano-magnetic particles and surfactants
we used dbsa and nano-magnetic for the synthesis of amido alkylnaphtols.
15 صفحه اولStatistical Model Checking for Complex Stochastic Models in Systems Biology
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large for classical Model Checking techniques. For these models, a statistical approach to Model Checking has been shown to be an effective alternative. Extending our earlier work, we present the first algorithm for performi...
متن کاملAbstraction and Refinement in Static Model-Checking
ion and Refinement in Static Model-Checking Kaninda Musumbu LaBRI (UMR 5800 du CNRS), Université Bordeaux 1, France 351, cours de la Libération, F-33.405 TALENCE Cedex e-mail: [email protected] Abstract— Abstract interpretation is a general methodology for building static analyses of programs. It was introduced by P. and R. Cousot in [3]. We present, in this paper, an application of a generic ab...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2011
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2011.01.012